<?
	if ($username != '') {
		echo '<div id="menu">';
		echo anchor('main','Main Page')." ";
		echo anchor('automat','Show Automats')." ";
		echo anchor('product','Show Products')." ";
		if ($username == 'admin') {
			echo anchor('admin','Admin Page')." ";
		}
		echo '</div>';	
	}
?>